例文
- Classical descriptive set theory includes the study of regularity properties of Borel sets.
- In particular, it focuses on lightface analogues of hierarchies of classical descriptive set theory.
- In many cases, results of classical descriptive set theory have effective versions; in some cases, new results are obtained by proving the effective version first and then extending ( " relativizing " ) it to make it more broadly applicable.